logic n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭(zhēng)]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
language n. 1.語言;(某民族,某國的)國語;語調(diào),措詞。 2.(談話者或作者所使用的)言語,語風(fēng),文風(fēng),文體。 3.專門用語,術(shù)語。 4.(動(dòng)物的)叫聲;(動(dòng)作,手勢(shì)等所表示的)表意語。 5.【自動(dòng)化】機(jī)器代碼 ( = machine language )。 6.〔俚語〕粗話,罵人的話;壞話。 7.態(tài)度,立場(chǎng)。 8.〔古語〕民族;某國國民。 a common language 共同的語言。 a dead language 死語言。 a foreign language 外國語。 a living language 活語言。 long language (與符號(hào)語言相對(duì)的)通用語言。 oral [spoken] language 口語。 the Chinese language 漢語。 written language 書面語。 high language 夸張的言詞。 in his own language 按他自己的說法。 with a great command [an easy flow] of language 口若懸河。 legal language 法律用語。 medical language 醫(yī)學(xué)用語。 parliamentary language 議會(huì)辭令;有禮貌的話。 the language of diplomacy 外交辭令。 the language of the science 科學(xué)用語。 finger [gesture, sign] language 手勢(shì)語。 the language of flowers 花語〔如以 lily 象征純潔等〕。 the language of the eyes 目語,眉目傳情。 billing gate language = language of the fish-market 下流的粗話。 in strong language 用激烈的下流話。 use (bad [foul, warm]) language to sb. 謾罵某人。 in fourteen languages 〔美俚〕非常。 speak the same language 說共同的語言,信仰和觀點(diǎn)相同。 language arts (中小學(xué)的)語言藝術(shù)學(xué)科。
Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model 首先,在論文中用一階邏輯語言建立可信平臺(tái)模塊api的形式化模型,然后對(duì)建立的形式化模型進(jìn)行邏輯推理分析。
The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language 界限主體的確立,既解決了主體的“體”帶來的一系列問題,同時(shí)又為主體在邏輯語言的層面上找到了一種合理的存在形式。
In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols 在本文中,作者主要介紹了用于分析密碼協(xié)議的三種邏輯語言,研究了它們的優(yōu)缺點(diǎn),然后結(jié)合其優(yōu)點(diǎn),提出了一種新的用于分析電子商務(wù)協(xié)議的形式化邏輯語言。
( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language ( 2 )為驗(yàn)證算法的有效性,該文設(shè)計(jì)實(shí)現(xiàn)了一個(gè)測(cè)試平臺(tái)? ?基于sqlserver的規(guī)則處理器,其主要功能為自動(dòng)把一階邏輯規(guī)則轉(zhuǎn)換為含有sql語句的過程代碼,這使得sqlserver數(shù)據(jù)庫管理系統(tǒng)有了用邏輯數(shù)據(jù)語言表示遞歸查詢的能力。
Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language 接著指出數(shù)學(xué)語言是進(jìn)行數(shù)學(xué)交流活動(dòng)的重要工具,參考前人的成果,對(duì)數(shù)學(xué)語言重新進(jìn)行分類,可分為:文字語言,符號(hào)語言,圖形語言,圖表語言,邏輯語言。
We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy 由于構(gòu)件可能具有不同的抽象層次和粒度,我們采用了時(shí)序邏輯語言xyz e作為構(gòu)件描述語言,這種語言能夠描述構(gòu)件的靜態(tài)語義和動(dòng)態(tài)執(zhí)行,并且能在不同抽象層次上對(duì)系統(tǒng)進(jìn)行形式化描述。
We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules 從數(shù)據(jù)挖掘的角度考慮對(duì)象排序問題,通過引進(jìn)屬性值上的有序關(guān)系,作者擴(kuò)充了常見的屬性值方法,提出了有序信息表的形式化概念,進(jìn)而提出了一個(gè)有序信息表上的數(shù)據(jù)分析方法,通過分析有序信息表中的屬性依賴,定義了有序信息表的約簡(jiǎn)集和核的概念;作者還提出和形式化了有序信息表中挖掘有序規(guī)則的問題,設(shè)計(jì)了有序決策邏輯語言( odl ) ,并給出了一個(gè)挖掘有序規(guī)則的方法。